1. Applications of process algebra
Author: / edited by J.C.M. Baeten. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
Classification :
QA
,
76
.
9
,.
M35
,
A6
,
1990
2. Applications of process algebra
Author: edited by J.C.M. Baeten
Library: Central Library and Documentation Center (Semnan)
Subject: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
Classification :
QA
267
.
A67
2004
3. Applications of process algebra
Author: / J.C.M. Baeten
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
Classification :
QA
267
.
A67
2004
4. CONCUR'91 :
Author: J.C.M. Baeten, J.F. Groote (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
5. CONCUR'91 : 2nd International on Concurrency Theory, Amsterdam, Netherlands, 1991 : Proceedings
Author: J. C. M. Baeten, J. F. Groote )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
527
6. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
Author: J.C.M. Baeten, J.W. Klop, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
458
7. Process algebra with timing
Author: by J.C.M. Baeten, C.A. Middelburg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Discrete-time systems.,System design.
Classification :
QA76
.
9
.
S88
B953
2011
8. Process algebra with timing
Author: / J.C.M. Baeten, C.A. Middelburg
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: System design,Discrete-time systems,Computer science -- Mathematics
Classification :
QA
76
.
9
.
S88B32
2002
